<?php
//page du menu DOCUMENTATION 
include("./tetepage.php");
?>
		 </body>
</html>
